
abstract Tiny = {

cat

Phr;
S; VP; Subj; DObj; IObj; NP; CN; AP; PP;
Pron; N; A; D; V; V2; V3; P;

fun

phrase : S -> Phr;
sent, que : Subj -> VP -> S;

useV : V -> VP;
useV2 : V2 -> DObj -> VP;
useV3 : V3 -> DObj -> IObj -> VP;
ppVP: VP -> PP -> VP;

mkSubj : NP -> Subj;
mkDObj : NP -> DObj;
mkIObj : NP -> IObj;
mkV1 : V2 -> V;
mkV2 : V3 -> V2;

subjPron : Pron -> Subj;
dobjPron : Pron -> DObj;
iobjPron : Pron -> IObj;

detCN : D -> CN -> NP;
-- massNP : CN -> NP;
ppNP : NP -> PP -> NP;

adjCN : AP -> CN -> CN;
useN : N -> CN;

useP : P -> NP -> PP;
useA : A -> AP;

house, car, truckdriver : N;
i, we, you, she, he, it, they : Pron;
big, small : A;
a, theSg, thePl, every, all, indefPl : D;
run, sleep : V;
see, hit : V2;
give : V3;
inn, over, under : P;

}
